Reconstructing Recension 2 of Mágus saga jarls, ca. 1400 : AM 590 a 4to, AM 152 fol. and the earliest fragments

Peer reviewedPostprin

The meanings of “literature” and the place of modern scientific nonfiction in Literature and Science

Peer reviewedPublisher PD

Automated Generation of User Guidance by Combining Computation and Deduction

Herewith, a fairly old concept is published for the first time and named "Lucas Interpretation". This has been implemented in a prototype, which has been proved useful in educational practice and has gained academic relevance with an emerging generation of educational mathematics assistants (EMA) based on Computer Theorem Proving (CTP). Automated Theorem Proving (ATP), i.e. deduction, is the most reliable technology used to check user input. However ATP is inherently weak in automatically generating solutions for arbitrary problems in applied mathematics. This weakness is crucial for EMAs: when ATP checks user input as incorrect and the learner gets stuck then the system should be able to suggest possible next steps. The key idea of Lucas Interpretation is to compute the steps of a calculation following a program written in a novel CTP-based programming language, i.e. computation provides the next steps. User guidance is generated by combining deduction and computation: the latter is performed by a specific language interpreter, which works like a debugger and hands over control to the learner at breakpoints, i.e. tactics generating the steps of calculation. The interpreter also builds up logical contexts providing ATP with the data required for checking user input, thus combining computation and deduction. The paper describes the concepts underlying Lucas Interpretation so that open questions can adequately be addressed, and prerequisites for further work are provided.Comment: In Proceedings THedu'11, arXiv:1202.453

[Review] Cian Duffy (2014) My purpose was humbler, but also higher: Thomas De Quincey’s 'System of the heavens’, popular science and the sublime

Review of article: Duffy Cian, Romanticism, Volume 20 Issue 1, Page 1-14, ISSN 1354-991x Available Online Mar 201

BORA ON THE NORTHERN ADRIATIC, 12-18 APRIL 1982

Analysis is presented of a bora case on 12-18 April 1982, characterized by the longest bora duration in Senj (138 hours) during the ALPEX-SOP. The bora was observed only on the northern Adriatic. The vertical wind and stability profiles indicate that the part of the upstream inversion layer decoupled and descended toward the sea which is confirmed in the aircraft data analysis (Smith, 1987). The application of the generalized hydraulic theory on the continuously stratified atmosphere showed that the theory can successfully explain the bora phenomenon in the postfrontal bora situation

Syndicalism and strikes, leadership and influence: Britain, Ireland, France, Italy, Spain and the United States

The explosion of industrial and political militancy that swept the world during the early years of the twentieth century gave the revolutionary syndicalist movement a prominence and notoriety it would not otherwise have possessed, while at the same time providing a context for syndicalist ideas to be broadcast and for syndicalists to assume the leadership of major strikes in a number of countries. This article sheds new light on the complex nature of the relationship between syndicalism and strikes by means of an international comparative analysis of the revolutionary syndicalist movements in France, Spain, Italy, Britain, Ireland and United States. It presents evidence to suggest ideological/organizational initiative and leadership was of immense importance in understanding how syndicalist movements could be simultaneously a contributory cause, a symptom, and a beneficiary of workers' militancy

Regrets Associated with Providing Healthcare: Qualitative Study of Experiences of Hospital-Based Physicians and Nurses

Regret is an unavoidable corollary of clinical practice. Physicians and nurses perform countless clinical decisions and actions, in a context characterised by time pressure, information overload, complexity and uncertainty